Issue2645.agda:7,5-8,14
A postulate block can only contain type signatures, possibly under
keyword instance
